<html>
<body>
Objects for defining and calculating coverage criteria over data values.
Used by optimizers to optimize the set of tests produced.
</body>
</html>